A Partial-differential Approximation for Spatial Stochastic Process Algebra Journal title: EAI Endorsed Transactions on Internet of Things Authors: Max Tschaikowski, Mirco Tribastone Subject(s): Computer and Information Science, Computer Architecture
Enhancing Formal Methods Integration with ACP2Petri Journal title: Journal of Information and Organizational Sciences Authors: Slavomír Šimoňák, Martin Šolc Subject(s): Computer and Information Science, Information Technology, Computer Science, Information Systems